элементарная формула

элементарная формула

 

элементарная формула
 —
[Л.Г.Суменко. Англо-русский словарь по информационным технологиям. М.: ГП ЦНИИС, 2003.]

Тематики

  • информационные технологии в целом

EN

  • prime formula


Справочник технического переводчика. – Интент. 2009-2013.

Игры ⚽ Поможем решить контрольную работу

Смотреть что такое "элементарная формула" в других словарях:

  • Элементарная ячейка — Элементарная ячейка  в геометрии, физике твёрдого тела и минералогии, в частности при обсуждении кристаллической решётки, минимальная ячейка, отвечающая единичной решёточной точке структуры с трансляционной симметрией в 2D, 3D или других… …   Википедия

  • Элементарная дизъюнкция — В логике высказываний элементарной дизъюнкцией называется дизъюнкция литералов: , где   литералы. В англоязычной литературе для обозначения элементарной дизъюнкции используется термин клоз (англ. clause). См. также Элементарная… …   Википедия

  • Элементарная конъюнкция — В логике высказываний элементарной конъюнкцией называется конъюнкция литералов: , где   литералы. См. также Элементарная дизъюнкция Дизъюнктивная нормальная форма Конъюнктивная нормальная форма Ссылки …   Википедия

  • ЭЛЕМЕНТАРНАЯ ТЕОРИЯ — совокупность замкнутых формул логики предикатов 1 й ступени. Э. т. Th(К) класса К алгебраических систем сигнатуры наз. совокупность всех замкнутых формул логики предикатов 1 й ступени сигнатуры истинных на всех системах из класса К. Если класс… …   Математическая энциклопедия

  • ЛОГИЧЕСКАЯ ФОРМУЛА — выражение в языке формальной логики, являющееся аналогом предложения. Точное определение Л. ф. дается для каждого конкретного логич. языка. Как правило, определение формулы имеет индуктивный характер: выделяется класс выражений, называемых… …   Математическая энциклопедия

  • Математическая формула — Эта статья об обозначениях элементарной математики; Для более общего контекста см.: Математические обозначения. Математическая формула (от лат. formula  уменьшительное от forma  образ, вид)  принятая в математике (а также… …   Википедия

  • Найквиста формула —         теорема Найквиста, соотношение, определяющее величину тепловых флуктуаций тока или напряжения в электрической цепи. Получена американским физиком Х. Найквистом (Н. Nyquist) в 1928. Согласно Н. ф., обусловленное тепловыми флуктуациями… …   Большая советская энциклопедия

  • Центростремительное ускорение — Эту страницу предлагается объединить с Центростремительная сила. Пояснение причин и обсуждение на странице Википедия:К объедин …   Википедия

  • РЕКУРСИВНАЯ РЕАЛИЗУЕМОСТЬ — уточнение интуиционистской семантики арифметич. суждений на основе понятия частично рекурсивной функции, предложенное С. Клини (см. [1], [2]). Для всякой замкнутой арифметич. формулы Fопределяется отношение натуральное число ереализует формулу F …   Математическая энциклопедия

  • Логика предикатов —         раздел математической логики (См. Логика), изучающий логические законы, общие для любой области объектов исследования (содержащей хоть один объект) с заданными на этих объектах предикатами (т. е. свойствами и отношениями). В результате… …   Большая советская энциклопедия


Поделиться ссылкой на выделенное

Прямая ссылка:
… Нажмите правой клавишей мыши и выберите «Копировать ссылку»